Indices et symboles

Allocation de ressources : optimisation des symboles pilotes et de la voie de retour

Sur un exceptionnel manifeste épistémologique : "Symbols and Search" Merveilleux et pourtant compréhensible est le traitement heuristique des systèmes de symboles physiques

The A. Newell & H.A. Simon 1975 's Turing Lecture appears as an exceptionnal exercice of epistemological criticism of the computation sciences. It introduces a solid theory of the symbolic computational processes. And it proposes a remarkable renewal of the epistemological paradigms, which gives legitimacy to «empiricist epistemolgy developped by H.A. Simon. This alternative to the classical Pl...

Gérer les premières impressions de compétence et de chaleur à travers des indices non verbaux

In the context of IMPRESSIONS project, we analyzed a corpus of human-human interactions with both discrete and continuous annotations, in order to investigate nonverbal cues associated to warmth and competence impressions. Preliminary results show an association between perceived competence variations (increase or decrease) and smile, type of gestures and some arms rest poses.

Indices de formes et de textures. Application au classement de noyaux de cellules

RÉSUMÉ. Cet article présente une étude sur le diagnostic de noyaux de cellules sanguines provenant de patients atteints de Progéria. Les noyaux sont caractérisés à l’aide de différentes méthodes d’analyse de forme et de texture, puis classés par des techniques d’apprentissage. Les mesures extraites des noyaux servent aux calculs d’un ensemble de valeurs nommées des « indices ». Les indices sont...

Forcing de bas niveau

Le langage logique est celui de la logique du second ordre, avec des symboles de fonctions et des variables et constantes de prédicat sur les individus. Les seuls symboles logiques sont →,∀. Définitions. ⊥≡∀X X ; ¬A ≡ A →⊥ ; A∧B ≡¬(A,B →⊥) ; A∨B ≡¬A,¬B →⊥ ; ∃x A ≡¬∀x¬A ; ∃X A ≡¬∀X¬A ; t = u ≡∀X (X t → X u). On écrira A1, A2, . . . , Ak → A pour A1 → (A2 → (. . . (Ak → A) . . .)). On écrira ∃x{A...